Periodically Controlled Hybrid Systems Verifying A Controller for An Autonomous Vehicle
نویسندگان
چکیده
This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.
منابع مشابه
Modeling and Intelligent Control System Design for Overtaking Maneuver in Autonomous Vehicles
The purpose of this study is to design an intelligent control system to guide the overtaking maneuver with a higher performance than the existing systems. Unlike the existing models which consider constant values for some of the effective variables of this behavior, in this paper, a neural network model is designed based on the real overtaking data using instantaneous values for variables. A fu...
متن کاملHybrid Adaptive Neural Network AUV controller design with Sliding Mode Robust Term
This work addresses an autonomous underwater vehicle (AUV) for applying nonlinear control which is capable of disturbance rejection via intelligent estimation of uncertainties. Adaptive radial basis function neural network (RBF NN) controller is proposed to approximate unknown nonlinear dynamics. The problem of designing an adaptive RBF NN controller was augmented with sliding mode robust term ...
متن کاملA Distributed Control Architecture for Autonomous Operation of a Hybrid AC/DC Microgrid System
Hybrid AC/DC microgrids facilitate the procedure of DC power connection into the conventional AC power system by developing the distributed generations (DGs) technologies. The conversion processes between AC and DC electrical powers are more convenient by hybrid systems. In this paper, an energy management system (EMS) for a hybrid microgrid network is proposed due to the optimal utilization of...
متن کاملReport on Verification of the MoBIES Vehicle-Vehicle Automotive OEP Problem
The DARPA MoBIES Automotive Vehicle-Vehicle Open Experimental Platform [14] defines a longitudinal controller for the leader car of a platoon moving in an Intelligent Vehicle Highway System (IVHS) autonomously. The challenge is to verify that cars using this longitudinal controller provide a safe (that is, collision-free) ride. This report presents the process of verifying this particular contr...
متن کاملHybrid State System Development for Autonomous Vehicle Control in Urban Scenarios
This paper analyzes a hybrid-state-system-based controller for an autonomous vehicle in urban traffic and provides development procedures for hybrid-state systems for automatic control. The OhioState University Autonomous City Transport utilizes a discrete-state system, based on a finite state machine for high-level decision making and a continuous-state controller for low-level lateral and lon...
متن کامل